(DEFPROP ALLFNS
 (NIL SPREAD SPREAD1)
VALUE)

(DEFPROP SPREAD
 (LAMBDA (E) (COND ((ATOM E) NIL) (T (CONS (LIST E) (SPREAD1 (CDR E) (QUOTE (D)) NIL)))))
EXPR)

(DEFPROP SPREAD1
 (LAMBDA(U LOC SOFAR)
  (COND	((NULL U) SOFAR)
	(T
	 (SPREAD1 (CDR U)
		  (CONS (QUOTE D) LOC)
		  (APPEND SOFAR
			  (MAPCAR (FUNCTION (LAMBDA (Z) (CONS (CAR Z) (APPEND LOC (QUOTE (A)) (CDR Z)))))
				  (SPREAD (CAR U))))))))
EXPR)